$\forall$$r$:Rng, $u$, $v$:$\mid$$r$$\mid$. Dec($u$ = $v$)